Viatra 3: A Reactive Model Transformation Platform
نویسندگان
چکیده
Model-driven tools frequently rely on advanced technologies to support model queries, view maintenance, design rule validation, model transformations or design space exploration. Some of these features are initiated explicitly by domain engineers (batch execution) while others are executed automatically when certain trigger events are detected (live execution). Unfortunately, their integration into a complex industrial modeling environment is di cult due to hidden interference and unspeci ed interaction between di erent features. In this paper, we present a reactive, event-driven model transformation platform over EMF models, which captures tool features as model queries and transformations, and provides a systematic, well-founded integration between a variety of such tool features. Viatra 3 o ers a family of internal DSLs (i.e. dedicated libraries) to specify advanced tool features built on top of existing languages like EMF-IncQuery and Xtend. Its main innovation is a source incremental execution scheme built on the reactive programming paradigm ssupported by an event-driven virtual machine.
منابع مشابه
Generation of Platform-Specific Model Transformation Plugins for EJB 3.0
The current paper presents a technique for generating standalone model transformation plugins for the EJB 3.0 platform from platform-independent specifications of transformations given by a combination of graph transformation and abstract state machine rules (as used within the Viatra2 framework). As a result, the design of transformations can be separated from the execution of transformations....
متن کاملDesign Patterns for Domain-specific Application Modelling
Model-based development becomes increasingly attractive due to benefits like reducing risk for mistakes by manual code generation. Based on a domain-specific meta-model, it starts with specification of the platform independent model (PIM) of the target system. In practice, generating PIMs manually can become tedious because of the large number of often repetitive elements to be created. Applyin...
متن کاملAn optimization based design for integrated dependable real-time embedded systems
Moving from the traditional federated design paradigm, integration of mixedcriticality software components onto common computing platforms is increasingly being adopted by automotive, avionics and the control industry. This method faces new challenges such as the integration of varied functionalities (dependability, responsiveness, power consumption, etc.) under platform resource constraints an...
متن کاملAutomated Program Generation for and by Model Transformation Systems
Model transformation systems are graph transformation systems that perform translations between languages defined by a corresponding metamodel as the type graph. The current paper proposes a reflective method for the automatic generation of the implementation for such transformation systems derived from a high–level specification consisting of a set of graph transformation rules and a control f...
متن کاملVIATRA - Visual Automated Transformations for Formal Verification and Validation of UML Models
The VIATRA (VIsual Automated model TRAnsformations) framework is the core of a transformation-based verification and validation environment for improving the quality of systems designed using the Unified Modeling Language by automatically checking consistency, completeness, and dependability requirements. In the current paper, we present an overview of (i) the major design goals and decisions, ...
متن کامل